A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Catherine Meadows has played an important role in the advancement of formal methods for protocol security verification. Her insights on the use of, for example, narrowing and rewriting logic has made possible the automated discovery of new attacks and the shaping of new protocols. Meadows has also investigated other security aspects, such as, distance-bounding protocols and denial of service attacks. We have been greatly inspired by her work. This paper describes the use of Multiset Rewriting for the specification and verification of timing aspects of protocols, such as network delays, timeouts, timed intruder models and distance-bounding properties. We detail these timed features with a number of examples and describe decidable fragments of related verification problems

No straight lines – young women’s perceptions of their mental health and wellbeing during and after pregnancy: a systematic review and meta-ethnography

Background: Young mothers face mental health challenges during and after pregnancy including increased rates of depression compared to older mothers. While the prevention of teenage pregnancy in countries such as the United States and the United Kingdom has been a focus for policy and research in recent decades, the need to understand young women’s own experiences has been highlighted. The aim of this meta-ethnography was to examine young women’s perceptions of their mental health and wellbeing during and after pregnancy to provide new understandings of those experiences. Methods: A systematic review and meta-ethnographic synthesis of qualitative research was conducted. Seven databases were systematically searched and forward and backward searching conducted. Papers were included if they were from Organisation for Economic Co-operation and Development countries and explored mental health and wellbeing experiences of young mothers (age under 20 in pregnancy; under 25 at time of research) as a primary research question – or where evidence about mental health and wellbeing from participants was foregrounded. Nineteen papers were identified and the Critical Appraisal Skills Programme checklist for qualitative research used to appraise the evidence. Following the seven-step process of meta-ethnography, key constructs were examined within each study and then translated into one another. Results: Seven translated themes were identified forming a new line of argument wherein mental health and wellbeing was analysed as relating to individual bodily experiences; tied into past and present relationships; underpinned by economic insecurity and entangled with feelings of societal surveillance. There were ‘no straight lines’ in young women’s experiences, which were more complex than dominant narratives around overcoming adversity suggest. Conclusions: The synthesis concludes that health and social care professionals need to reflect on the operation of power and stigma in young women’s lives and its impact on wellbeing. It adds to understanding of young women’s mental health and wellbeing during and after pregnancy as located in physical and structural factors rather than individual capacities alone

Surface and Temporal Biosignatures

Recent discoveries of potentially habitable exoplanets have ignited the prospect of spectroscopic investigations of exoplanet surfaces and atmospheres for signs of life. This chapter provides an overview of potential surface and temporal exoplanet biosignatures, reviewing Earth analogues and proposed applications based on observations and models. The vegetation red-edge (VRE) remains the most well-studied surface biosignature. Extensions of the VRE, spectral "edges" produced in part by photosynthetic or nonphotosynthetic pigments, may likewise present potential evidence of life. Polarization signatures have the capacity to discriminate between biotic and abiotic "edge" features in the face of false positives from band-gap generating material. Temporal biosignatures -- modulations in measurable quantities such as gas abundances (e.g., CO2), surface features, or emission of light (e.g., fluorescence, bioluminescence) that can be directly linked to the actions of a biosphere -- are in general less well studied than surface or gaseous biosignatures. However, remote observations of Earth's biosphere nonetheless provide proofs of concept for these techniques and are reviewed here. Surface and temporal biosignatures provide complementary information to gaseous biosignatures, and while likely more challenging to observe, would contribute information inaccessible from study of the time-averaged atmospheric composition alone.Comment: 26 pages, 9 figures, review to appear in Handbook of Exoplanets. Fixed figure conversion error

Concurrent Detection of Circulating Minor Histocompatibility Antigen-Specific CD8+ T Cells in SCT Recipients by Combinatorial Encoding MHC Multimers

Allogeneic stem cell transplantation (SCT) is a potentially curative treatment for patients with hematologic malignancies. Its therapeutic effect is largely dependent on recognition of minor histocompatibility antigens (MiHA) by donor-derived CD8+ T cells. Therefore, monitoring of multiple MiHA-specific CD8+ T cell responses may prove to be valuable for evaluating the efficacy of allogeneic SCT. In this study, we investigated the use of the combinatorial encoding MHC multimer technique to simultaneously detect MiHA-specific CD8+ T cells in peripheral blood of SCT recipients. Feasibility of this approach was demonstrated by applying dual-color encoding MHC multimers for a set of 10 known MiHA. Interestingly, single staining using a fluorochrome- and Qdot-based five-color combination showed comparable results to dual-color staining for most MiHA-specific CD8+ T cell responses. In addition, we determined the potential value of combinatorial encoding MHC multimers in MiHA identification. Therefore, a set of 75 candidate MiHA peptides was predicted from polymorphic genes with a hematopoietic expression profile and further selected for high and intermediate binding affinity for HLA-A2. Screening of a large cohort of SCT recipients resulted in the detection of dual-color encoded CD8+ T cells following MHC multimer-based T cell enrichment and short ex vivo expansion. Interestingly, candidate MiHA-specific CD8+ T cell responses for LAG3 and TLR10 derived polymorphic peptides could be confirmed by genotyping of the respective SNPs. These findings demonstrate the potency of the combinatorial MHC multimer approach in the monitoring of CD8+ T cell responses to known and potential MiHA in limited amounts of peripheral blood from allogeneic SCT recipients

A search for the decay modes B+/- to h+/- tau l

We present a search for the lepton flavor violating decay modes B+/- to h+/- tau l (h= K,pi; l= e,mu) using the BaBar data sample, which corresponds to 472 million BBbar pairs. The search uses events where one B meson is fully reconstructed in one of several hadronic final states. Using the momenta of the reconstructed B, h, and l candidates, we are able to fully determine the tau four-momentum. The resulting tau candidate mass is our main discriminant against combinatorial background. We see no evidence for B+/- to h+/- tau l decays and set a 90% confidence level upper limit on each branching fraction at the level of a few times 10^-5.Comment: 15 pages, 7 figures, submitted to Phys. Rev.

The Satellite Cell in Male and Female, Developing and Adult Mouse Muscle: Distinct Stem Cells for Growth and Regeneration

Satellite cells are myogenic cells found between the basal lamina and the sarcolemma of the muscle fibre. Satellite cells are the source of new myofibres; as such, satellite cell transplantation holds promise as a treatment for muscular dystrophies. We have investigated age and sex differences between mouse satellite cells in vitro and assessed the importance of these factors as mediators of donor cell engraftment in an in vivo model of satellite cell transplantation. We found that satellite cell numbers are increased in growing compared to adult and in male compared to female adult mice. We saw no difference in the expression of the myogenic regulatory factors between male and female mice, but distinct profiles were observed according to developmental stage. We show that, in contrast to adult mice, the majority of satellite cells from two week old mice are proliferating to facilitate myofibre growth; however a small proportion of these cells are quiescent and not contributing to this growth programme. Despite observed changes in satellite cell populations, there is no difference in engraftment efficiency either between satellite cells derived from adult or pre-weaned donor mice, male or female donor cells, or between male and female host muscle environments. We suggest there exist two distinct satellite cell populations: one for muscle growth and maintenance and one for muscle regeneration

Evidence for an excess of B -> D(*) Tau Nu decays

Based on the full BaBar data sample, we report improved measurements of the ratios R(D(*)) = B(B -> D(*) Tau Nu)/B(B -> D(*) l Nu), where l is either e or mu. These ratios are sensitive to new physics contributions in the form of a charged Higgs boson. We measure R(D) = 0.440 +- 0.058 +- 0.042 and R(D*) = 0.332 +- 0.024 +- 0.018, which exceed the Standard Model expectations by 2.0 sigma and 2.7 sigma, respectively. Taken together, our results disagree with these expectations at the 3.4 sigma level. This excess cannot be explained by a charged Higgs boson in the type II two-Higgs-doublet model. We also report the observation of the decay B -> D Tau Nu, with a significance of 6.8 sigma.Comment: Expanded section on systematics, text corrections, improved the format of Figure 2 and included the effect of the change of the Tau polarization due to the charged Higg

Search for the decay modes D^0 → e^+e^-, D^0 → μ^+μ^-, and D^0 → e^±μ∓

We present searches for the rare decay modes D^0→e^+e^-, D^0→μ^+μ^-, and D^0→e^±μ^∓ in continuum e^+e^-→cc events recorded by the BABAR detector in a data sample that corresponds to an integrated luminosity of 468  fb^(-1). These decays are highly Glashow–Iliopoulos–Maiani suppressed but may be enhanced in several extensions of the standard model. Our observed event yields are consistent with the expected backgrounds. An excess is seen in the D^0→μ^+μ^- channel, although the observed yield is consistent with an upward background fluctuation at the 5% level. Using the Feldman–Cousins method, we set the following 90% confidence level intervals on the branching fractions: B(D^0→e^+e^-)<1.7×10^(-7), B(D^0→μ^+μ^-) within [0.6,8.1]×10^(-7), and B(D^0→e^±μ^∓)<3.3×10^(-7)

Study of the reaction e^{+}e^{-} -->J/psi\pi^{+}\pi^{-} via initial-state radiation at BaBar

We study the process $e^+e^-\to J/\psi\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the BaBar detector at center-of-mass energies 10.58 and 10.54 GeV, and correspond to an integrated luminosity of 454 $\mathrm{fb^{-1}}$. We investigate the $J/\psi \pi^{+}\pi^{-}$ mass distribution in the region from 3.5 to 5.5 $\mathrm{GeV/c^{2}}$. Below 3.7 $\mathrm{GeV/c^{2}}$ the $\psi(2S)$ signal dominates, and above 4 $\mathrm{GeV/c^{2}}$ there is a significant peak due to the Y(4260). A fit to the data in the range 3.74 -- 5.50 $\mathrm{GeV/c^{2}}$ yields a mass value $4244 \pm 5$ (stat) $\pm 4$ (syst)$\mathrm{MeV/c^{2}}$ and a width value $114 ^{+16}_{-15}$ (stat)$\pm 7$(syst)$\mathrm{MeV}$ for this state. We do not confirm the report from the Belle collaboration of a broad structure at 4.01 $\mathrm{GeV/c^{2}}$. In addition, we investigate the $\pi^{+}\pi^{-}$ system which results from Y(4260) decay

Observation and study of baryonic B decays: B -> D(*) p pbar, D(*) p pbar pi, and D(*) p pbar pi pi

We present a study of ten B-meson decays to a D(*), a proton-antiproton pair, and a system of up to two pions using BaBar's data set of 455x10^6 BBbar pairs. Four of the modes (B0bar -> D0 p anti-p, B0bar -> D*0 p anti-p, B0bar -> D+ p anti-p pi-, B0bar -> D*+ p anti-p pi-) are studied with improved statistics compared to previous measurements; six of the modes (B- -> D0 p anti-p pi-, B- -> D*0 p anti-p pi-, B0bar -> D0 p anti-p pi- pi+, B0bar -> D*0 p anti-p pi- pi+, B- -> D+ p anti-p pi- pi-, B- -> D*+ p anti-p pi- pi-) are first observations. The branching fractions for 3- and 5-body decays are suppressed compared to 4-body decays. Kinematic distributions for 3-body decays show non-overlapping threshold enhancements in m(p anti-p) and m(D(*)0 p) in the Dalitz plots. For 4-body decays, m(p pi-) mass projections show a narrow peak with mass and full width of (1497.4 +- 3.0 +- 0.9) MeV/c2, and (47 +- 12 +- 4) MeV/c2, respectively, where the first (second) errors are statistical (systematic). For 5-body decays, mass projections are similar to phase space expectations. All results are preliminary.Comment: 28 pages, 90 postscript figures, submitted to LP0